{\rtf1\ansi\ansicpg1252
{\fonttbl
{\f0\froman\fcharset0\fprq2 Times New Roman;}
{\f1\fswiss\fcharset0\fprq2 Arial;}
{\f2\fmodern\fcharset0\fprq1 Courier New;}
}
{\stylesheet
{\s1\sb80\sa80\f0\fs20 Body Text;}
{\s2\sb80\sa80\f2\fs18 Code;}
{\s3\li396\fi-396\sa40\f0\fs20 List Bullet;}
{\s4\li793\fi-396\sa40\f0\fs20 List Bullet 2;}
{\s5\li1190\fi-396\sa40\f0\fs20 List Bullet 3;}
{\s6\li1587\fi-396\sa40\f0\fs20 List Bullet 4;}
{\s7\li1984\fi-396\sa40\f0\fs20 List Bullet 5;}
{\s8\li2381\fi-396\sa40\f0\fs20 List Bullet 6;}
{\s9\li2777\fi-396\sa40\f0\fs20 List Bullet 7;}
{\s10\li3174\fi-396\sa40\f0\fs20 List Bullet 8;}
{\s11\li3571\fi-396\sa40\f0\fs20 List Bullet 9;}
{\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Heading 1;}
{\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b Heading 2;}
{\s14\sb240\sa160\keepn\outlinelevel2\f1\fs26\b Heading 3;}
{\s15\sb240\sa160\keepn\outlinelevel3\f1\fs20\b Heading 4;}
{\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b Heading 5;}
{\s17\sb240\sa160\keepn\outlinelevel5\f1\fs20\b Heading 6;}
{\s18\sb240\sa160\keepn\outlinelevel6\f1\fs20\b Heading 7;}
{\s19\sb240\sa160\keepn\outlinelevel7\f1\fs20\b Heading 8;}
{\s20\sb240\sa160\keepn\outlinelevel8\f1\fs20\b Heading 9;}
{\s21\tx0\tqr\tx9070\sa240\brdrb\brdrhair\f1\fs20 Header;}
{\s22\tx0\tqr\tx9070\sb240\f1\fs20 Footer;}
{\s23\qc\f1\fs20\b Front Page Header;}
{\s24\sb240\sa160\qc\f1\fs36\b Front Page Text;}
{\s25\qc\f1\fs20\b Front Page Footer;}
{\s26\sb240\sa160\f1\fs36\b TOC Heading;}
{\ds27\vertalc Front page;}
{\ds28\headery708\footery708 Default section;}
}
{\info
{\title WaterLight}
{\subject Documentation for IAR Visual State project 'WaterLight'}
}
\paperw11904\paperh16836\margt1417\margb1417\margl1417\margr1417{\sectd\ds27\vertalc{\pard\s24\sb240\sa160\qc\f1\fs36\b WaterLight\par}
\sect}
{\sectd{\pard\s26\sb240\sa160\f1\fs36\b Table of contents\par}
{\pard\s1\sb80\sa80\f0\fs20 {\field{\*\fldinst{TOC \\o "1-3"}}{\fldrslt{If using Microsoft Word, right click and select Update Field to build table of contents.}}}
\par}
\sect}
{\sectd\ds28\headery708\footery708{\header{\pard\s21\tx0\tqr\tx9070\sa240\brdrb\brdrhair\f1\fs20 \tab Page \chpgn \par}
}
{\pard\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Model design\par}
{\pard\s1\sb80\sa80\f0\fs20 IAR Visual State Signature Generator: "81"\par}
{\pard\s1\sb80\sa80\f0\fs20 Project Signature: "92d4d15c8eb1dfd5d9acefaab0ccf95b"\par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b Chart\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\emfblip\picw3604\pich3611\picwgoal2043\pichgoal2047\picscalex100\picscaley100
01000000ac000000f2fffffff2ffffff9a0000009a000000e4feffffe4feffff330c0000380c000020454d4600000100180600002c000000030000001f0000006c000000000000005605000000030000150100009c000000000000000000000000000000083a0400606102004900410052002000560069007300750061006c002000530074006100740065002000440065007300690067006e0065007200000045006d00660000000000000027000000180000000100000000000000f3fafe0000000000250000000c000000010000004c0000006400000004000000040000007d0000007d00000004000000040000007a0000007a0000002100f00000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000250000000c00000000000080280000000c00000001000000260000001c0000000100000006000000020000000000000000000000250000000c0000000100000027000000180000000200000000000000dcdcf00000000000250000000c000000020000002b0000001800000005000000050000007c0000007c000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000001000000520000007001000001000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000001000000180000000c00000000000000120000000c000000010000001e0000001800000005000000050000007d0000007d0000004b0000001000000000000000050000001e0000001800000005000000050000007d0000007d000000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000009000000015000000380000006c0000004800000001000000b939a2410080a24115000000380000000b0000004c000000000000000000000000000000ffffffffffffffff64000000530079007300740065006d004c006900670068007400000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000001b000000100000000000000000000000160000000c000000000000004b000000100000000000000005000000250000000c0000000d0000805f00000038000000020000003800000000000000380000000000000000010100010000000000000000000000b0bf63060000000000000000250000000c00000002000000250000000c000000050000802b0000001800000065000000730000006c000000780000002b0000001800000071000000730000007800000078000000190000000c00000000000000540000004c0000000000000000000000ffffffffffffffff01000000b939a2410080a2410000000000000000000000004c000000020000006d0000007500000071000000770000004c000000540000004c0000006d00000075000000700000007600000001000000b939a2410080a2410000000000000000000000004c000000120000006d0000007500000071000000770000004c000000190000000c000000ffffff00250000000c00000000000080250000000c00000007000080280000000c000000020000000e00000014000000000000001000000014000000
}
 \par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b Hierarchy\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445848284c4c2c4fcfefc04020400000005c62ee40000000574524e53ffffffff00fbb60e53000000904944415478da626041030001c4802e00104020016620800b000410508099898989012e0210400c603e2342114000010598817c8422800002a9604656041040602dc88a000208220055c40814010820a800581190cfcc021040206b19a18a9899812a000208e230b022a00aa0004000419c0e560411000820a85f98e102000104f71c3384cf02104008df421d06106000b071030140c3f03b0000000049454e44ae426082
}
 WaterLight\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445ffffff0000000000007e51a95d0000000374524e53ffff00d7ca0d410000007f4944415478da626042030001c4802e0010406001464646b800400001051899181980182a0010400c201e044104000208a4820104602a0002082807140021a839000104620331235c0d400061a80008200c33000208c316800042720744042080102e85aa010820b85f40368144000208e139a80a800042f22dc40c80000300ccf2017ecee4633c0000000049454e44ae426082
}
 {\field{\*\fldinst{REF link0 \\h}}{\fldrslt{Elements}}}
\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000018504c5445808000808080c0c0c0000080ffffffffff0000000000000050ede76d0000000874524e53ffffffffffffff00de83bd59000000954944415478da626047030001c4802e00104020013620800b00041050808d8585851128c2cccc0c1400082006309f890924c20e12000820a0001b980f13000820900a90194015cc20c00e1040602d401570430002085900ac0520806002709b010208642d88cfcacaca06760f4000c11cc60a060c6cec000104753a42002080300400020826c000016cec000104138001768000030009f6058278f212a50000000049454e44ae426082
}
 {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
\par}
{\pard\s5\li1190\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\par}
{\pard\s6\li1587\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445ffffff0000000000007e51a95d0000000374524e53ffff00d7ca0d410000007f4944415478da626042030001c4802e0010406001464646b800400001051899181980182a0010400c201e044104000208a4820104602a0002082807140021a839000104620331235c0d400061a80008200c33000208c316800042720744042080102e85aa010820b85f40368144000208e139a80a800042f22dc40c80000300ccf2017ecee4633c0000000049454e44ae426082
}
 {\field{\*\fldinst{REF link3 \\h}}{\fldrslt{Elements}}}
\par}
{\pard\s6\li1587\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445ffffff0000000000007e51a95d0000000374524e53ffff00d7ca0d410000007f4944415478da626042030001c4802e0010406001464646b800400001051899181980182a0010400c201e044104000208a4820104602a0002082807140021a839000104620331235c0d400061a80008200c33000208c316800042720744042080102e85aa010820b85f40368144000208e139a80a800042f22dc40c80000300ccf2017ecee4633c0000000049454e44ae426082
}
 {\*\bkmkstart link0}Elements{\*\bkmkend link0}\par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000018504c5445808000808080c0c0c0000080ffffffffff0000000000000050ede76d0000000874524e53ffffffffffffff00de83bd59000000954944415478da626047030001c4802e00104020013620800b00041050808d8585851128c2cccc0c1400082006309f890924c20e12000820a0001b980f13000820900a90194015cc20c00e1040602d401570430002085900ac0520806002709b010208642d88cfcacaca06760f4000c11cc60a060c6cec000104753a42002080300400020826c000016cec000104138001768000030009f6058278f212a50000000049454e44ae426082
}
 {\*\bkmkstart link1}SystemLight{\*\bkmkend link1}\par}
{\pard\s14\sb240\sa160\keepn\outlinelevel2\f1\fs26\b Chart\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\emfblip\picw2811\pich1311\picwgoal1593\pichgoal743\picscalex100\picscaley100
01000000ac000000040000000400000087000000410000005100000051000000b20a00002805000020454d4600000100280c000064000000040000001f0000006c000000000000005605000000030000150100009c000000000000000000000000000000083a0400606102004900410052002000560069007300750061006c002000530074006100740065002000440065007300690067006e0065007200000045006d00660000000000000027000000180000000100000000000000f3fafe0000000000250000000c000000010000004c0000006400000004000000040000007d0000003700000004000000040000007a000000340000002100f00000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000250000000c00000000000080280000000c00000001000000260000001c0000000100000006000000010000000000000000000000250000000c0000000100000027000000180000000200000000000000dcdcf00000000000250000000c000000020000002c0000002000000005000000050000007c000000360000000f0000000f000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000001000000520000007001000001000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000001000000180000000c00000000000000120000000c000000010000001e0000001800000007000000070000007b000000170000004b0000001000000000000000050000001e0000001800000007000000070000007b00000017000000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000007c0000002100000007000000600000001600000001000000b939a2410080a2412100000007000000080000004c000000000000000000000000000000ffffffffffffffff5c00000054006f0070004c006500760065006c0008000000080000000800000008000000080000000800000008000000080000001b000000100000000000000000000000160000000c000000000000004b000000100000000000000005000000260000001c0000000200000000000000010000000000000000000000250000000c00000002000000270000001800000003000000000000000000000000000000250000000c00000003000000560000003c000000740000000e0000007a000000160000000800000076000e0078000e00780013007a00130077001600740013007600130076000e00250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b00000010000000060000001700000036000000100000007c00000017000000250000000c00000007000080280000000c000000020000005f00000038000000020000003800000000000000380000000000000000010100010000000000000000000000464621af0000000000000000250000000c00000002000000250000000c000000050000802b00000018000000650000002c0000006c000000310000002b00000018000000710000002c0000007800000031000000190000000c00000000000000540000004c0000000000000000000000ffffffffffffffff01000000b939a2410080a2410000000000000000000000004c000000020000006d0000002e00000071000000300000004c000000540000004c0000006d0000002e000000700000002f00000001000000b939a2410080a2410000000000000000000000004c000000120000006d0000002e00000071000000300000004c000000190000000c000000ffffff00250000000c00000000000080250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c00000000000000120000000c000000010000001e0000001800000007000000180000007c000000350000004b0000001000000000000000050000001e0000001800000007000000180000007c00000035000000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000007800000007000000180000003e0000002800000001000000b939a2410080a2410700000018000000070000004c000000000000000000000000000000ffffffffffffffff5c00000052006500670069006f006e0031000000080000000800000008000000080000000800000008000000080000001b000000100000007c00000017000000160000000c000000000000004b000000100000000000000005000000250000000c0000000d00008021000000080000001e0000001800000006000000180000007c00000037000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000002000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000540000006000000006000000290000001d0000003600000001000000b939a2410080a2410600000029000000030000004c0000000400000006000000290000007c000000370000005400000028004e006f000000080000000800000008000000250000000c00000001000000250000000c00000002000000250000000c00000001000000250000000c00000002000000540000008400000026000000290000006d0000003600000001000000b939a2410080a2412600000029000000090000004c0000000400000006000000290000007c000000370000006000000063006f006d006d0065006e007400730029000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000002000000260000001c0000000200000000000000010000000000000000000000250000000c00000002000000270000001800000003000000000000000000000000000000250000000c00000003000000560000003c000000750000002e0000007b000000360000000800000077002e0079002e00790033007b00330078003600750033007700330077002e00250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c0000000d000080220000000c000000ffffffff0e00000014000000000000001000000014000000
}
 \par}
{\pard\s14\sb240\sa160\keepn\outlinelevel2\f1\fs26\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\*\bkmkstart link2}TopLevel{\*\bkmkend link2} (top)\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
\par}
{\pard\s15\sb240\sa160\keepn\outlinelevel3\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445ffffff0000000000007e51a95d0000000374524e53ffff00d7ca0d410000007f4944415478da626042030001c4802e0010406001464646b800400001051899181980182a0010400c201e044104000208a4820104602a0002082807140021a839000104620331235c0d400061a80008200c33000208c316800042720744042080102e85aa010820b85f40368144000208e139a80a800042f22dc40c80000300ccf2017ecee4633c0000000049454e44ae426082
}
 {\*\bkmkstart link3}Elements{\*\bkmkend link3}\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445c0c0c00000ff000000531a34c50000000374524e53ffff00d7ca0d410000006e4944415478da626042030001c4802e0010401802000184210010401802000184210010407001461000d200018450011200f20002084300208050b500790001c480e03330800400028801c1676262006280006240e28301400031a0f199000288018dcf041040100124f702041800fbea01c3217b84120000000049454e44ae426082
}
 Events\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link4}evOneSecond{\*\bkmkend link4} ()\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445800000c0c0c00000ffff0000000000fec90c0b0000000574524e53ffffffff00fbb60e53000000844944415478da626041030001c4802e00104018020001842100104048024c60122080900418c122000184ac022c0210400c2019466606200f0c59000288012cc3c00ce3b3000410440b3333231080f82c0001041700a904310102084900cc6701082006100f0220020001c4c0021381f05900028881052a02e5b300041092191000106000e343036f62592c2c0000000049454e44ae426082
}
 Action functions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab extern VS_VOID {\*\bkmkstart link5}led_green_off{\*\bkmkend link5} ()\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab extern VS_VOID {\*\bkmkstart link6}led_green_on{\*\bkmkend link6} ()\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab extern VS_VOID {\*\bkmkstart link7}led_red_off{\*\bkmkend link7} ()\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab extern VS_VOID {\*\bkmkstart link8}led_red_on{\*\bkmkend link8} ()\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab extern VS_VOID {\*\bkmkstart link9}led_yellow_off{\*\bkmkend link9} ()\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab extern VS_VOID {\*\bkmkstart link10}led_yellow_on{\*\bkmkend link10} ()\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0000000ffffff0000004cfea7e60000000474524e53ffffff00402aa9f4000000764944415478da626046030001c4802e00104040014618004b0204104880090220220001842cc00412010820b00023840bd6051040101510312690128000420800e5410200010435036a0e500020803004000208430b400061180a104048d64204000208c96110018000c21000082064cf815d0a1060001cde01ef3d07c41b0000000049454e44ae426082
}
 Internal variables\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab VS_INT {\*\bkmkstart link11}g_iOneSecondCounter{\*\bkmkend link11} = 0\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0ff00000000ff0000002b11c7ed0000000474524e53ffffff00402aa9f40000007a4944415478da626046030001c4802e0010401802000184210010401802000184210010401802000184210010406001263093114c02041044002cc20816010820a800135800240210400c602e1030820103334000610800041050808101c867606000f3990102086a0603d80c1009104010013009e633030418008116029586cff4aa0000000049454e44ae426082
}
 Signals\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link12}sigGreenOn{\*\bkmkend link12}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link13}sigRedOn{\*\bkmkend link13}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link14}sigYellowBlink{\*\bkmkend link14}\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0ffff00000000000000d35fc7fa0000000474524e53ffffff00402aa9f40000007c4944415478da626046030001c4802e00104018020001842100104018020001842100104018020001842100104048024c4c4c4012208010024c0c600c10400c40828901aa8009c8020820880090c5c408024c0c00010455071407f24002000184ac022c0010401001069042b00e668000022a6766805b0b6401041800796b0272df8bc1110000000049454e44ae426082
}
 Constants\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab VS_INT {\*\bkmkstart link15}iTimeGreenOn{\*\bkmkend link15} = 15\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab VS_INT {\*\bkmkstart link16}iTimeRedOn{\*\bkmkend link16} = 30\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab VS_INT {\*\bkmkstart link17}iTimeYellowBlinkTime{\*\bkmkend link17} = 5\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab VS_INT {\*\bkmkstart link18}iTimeYellowOnOff{\*\bkmkend link18} = 1\par}
{\pard\s15\sb240\sa160\keepn\outlinelevel3\f1\fs20\b Transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link19}{\*\bkmkend link19}{\field{\*\fldinst{REF link33 \\h}}{\fldrslt{red_on}}}
 -> {\field{\*\fldinst{REF link12 \\h}}{\fldrslt{sigGreenOn}}}
 / -> {\field{\*\fldinst{REF link43 \\h}}{\fldrslt{green_on}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link20}{\*\bkmkend link20}{\field{\*\fldinst{REF link36 \\h}}{\fldrslt{yellow_blink}}}
 -> {\field{\*\fldinst{REF link13 \\h}}{\fldrslt{sigRedOn}}}
 / -> {\field{\*\fldinst{REF link33 \\h}}{\fldrslt{red_on}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link21}{\*\bkmkend link21}{\field{\*\fldinst{REF link43 \\h}}{\fldrslt{green_on}}}
 -> {\field{\*\fldinst{REF link14 \\h}}{\fldrslt{sigYellowBlink}}}
 / -> {\field{\*\fldinst{REF link36 \\h}}{\fldrslt{yellow_blink}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link22}{\*\bkmkend link22}{\field{\*\fldinst{REF link38 \\h}}{\fldrslt{yellow_on}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() / -> {\field{\*\fldinst{REF link40 \\h}}{\fldrslt{yellow_off}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link23}{\*\bkmkend link23}{\field{\*\fldinst{REF link40 \\h}}{\fldrslt{yellow_off}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() / -> {\field{\*\fldinst{REF link38 \\h}}{\fldrslt{yellow_on}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link24}{\*\bkmkend link24}{\field{\*\fldinst{REF link50 \\h}}{\fldrslt{CounterGreen}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 == {\field{\*\fldinst{REF link15 \\h}}{\fldrslt{iTimeGreenOn}}}
] / [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 = 0] -> {\field{\*\fldinst{REF link52 \\h}}{\fldrslt{CounterYellow}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link25}{\*\bkmkend link25}{\field{\*\fldinst{REF link50 \\h}}{\fldrslt{CounterGreen}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 < {\field{\*\fldinst{REF link15 \\h}}{\fldrslt{iTimeGreenOn}}}
] / [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 = {\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 + 1] -> {\field{\*\fldinst{REF link50 \\h}}{\fldrslt{CounterGreen}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link26}{\*\bkmkend link26}{\field{\*\fldinst{REF link52 \\h}}{\fldrslt{CounterYellow}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 == {\field{\*\fldinst{REF link17 \\h}}{\fldrslt{iTimeYellowBlinkTime}}}
] / [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 = 0] -> {\field{\*\fldinst{REF link55 \\h}}{\fldrslt{CounterRed}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link27}{\*\bkmkend link27}{\field{\*\fldinst{REF link52 \\h}}{\fldrslt{CounterYellow}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 < {\field{\*\fldinst{REF link17 \\h}}{\fldrslt{iTimeYellowBlinkTime}}}
] / [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 = {\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 + 1] -> {\field{\*\fldinst{REF link52 \\h}}{\fldrslt{CounterYellow}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link28}{\*\bkmkend link28}{\field{\*\fldinst{REF link55 \\h}}{\fldrslt{CounterRed}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 == {\field{\*\fldinst{REF link16 \\h}}{\fldrslt{iTimeRedOn}}}
] / [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 = 0] -> {\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link29}{\*\bkmkend link29}{\field{\*\fldinst{REF link55 \\h}}{\fldrslt{CounterRed}}}
 -> {\field{\*\fldinst{REF link4 \\h}}{\fldrslt{evOneSecond}}}
() [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 < {\field{\*\fldinst{REF link16 \\h}}{\fldrslt{iTimeRedOn}}}
] / [{\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 = {\field{\*\fldinst{REF link11 \\h}}{\fldrslt{g_iOneSecondCounter}}}
 + 1] -> {\field{\*\fldinst{REF link55 \\h}}{\fldrslt{CounterRed}}}
;\par}
{\pard\s14\sb240\sa160\keepn\outlinelevel2\f1\fs26\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\*\bkmkstart link30}Region1{\*\bkmkend link30}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\par}
{\pard\s15\sb240\sa160\keepn\outlinelevel3\f1\fs20\b Chart\par}
{\pard\s1\sb80\sa80\f0\fs20 {\pict\emfblip\picw28908\pich19240\picwgoal16387\pichgoal10907\picscalex55\picscaley55
01000000ac000000040000000400000047050000830300005100000051000000046b00005547000020454d46000001004cd0000021070000040000001f0000006c000000000000005605000000030000150100009c000000000000000000000000000000083a0400606102004900410052002000560069007300750061006c002000530074006100740065002000440065007300690067006e0065007200000045006d00660000000000000027000000180000000100000000000000f3fafe0000000000250000000c000000010000004c0000006400000004000000040000003d0500007903000004000000040000003a050000760300002100f00000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000250000000c00000000000080280000000c00000001000000260000001c0000000100000006000000010000000000000000000000250000000c0000000100000027000000180000000200000000000000dcdcf00000000000250000000c000000020000002c0000002000000005000000340000003c050000780300000f0000000f000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000001000000520000007001000001000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000001000000180000000c00000000000000120000000c000000010000001e0000001800000007000000360000003b050000460000004b0000001000000000000000050000001e0000001800000007000000360000003b05000046000000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c0000000000000054000000880000007902000036000000c80200004500000001000000b939a2410080a24179020000360000000a0000004c000000000000000000000000000000ffffffffffffffff60000000570061007400650072004c006900670068007400080000000800000008000000080000000800000008000000080000000800000008000000080000001b000000100000000000000000000000160000000c000000000000004b000000100000000000000005000000260000001c0000000200000000000000010000000000000000000000250000000c00000002000000270000001800000003000000000000000000000000000000250000000c00000003000000560000003c000000340500003d0000003a050000450000000800000036053d0038053d00380542003a05420037054500340542003605420036053d00250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b00000010000000060000004600000036000000100000003c05000046000000250000000c00000007000080280000000c00000002000000260000001c0000000200000002000000010000000000000000000000250000000c000000020000001b00000010000000840200004700000036000000100000008402000079030000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c00000000000000120000000c000000010000001e00000018000000070000004700000084020000770300004b0000001000000000000000050000001e0000001800000007000000470000008402000077030000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000008400000007000000470000004e0000005700000001000000b939a2410080a2410700000047000000090000004c000000000000000000000000000000ffffffffffffffff600000004c006500640052006500670069006f006e0000000800000008000000080000000800000008000000080000000800000008000000080000001b000000100000008402000079030000160000000c000000000000004b000000100000000000000005000000250000000c0000000d000080250000000c00000001000000180000000c00000000000000120000000c000000010000001e0000001800000086020000470000003c050000770300004b0000001000000000000000050000001e0000001800000086020000470000003c05000077030000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000009c0000008602000047000000ed0200005700000001000000b939a2410080a24186020000470000000d0000004c000000000000000000000000000000ffffffffffffffff6800000043006f006e00740072006f006c0052006500670069006f006e000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000001b000000100000008402000079030000160000000c000000000000004b000000100000000000000005000000250000000c0000000d00008021000000080000001e0000001800000006000000470000008402000079030000260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c00000020000000b20100009b01000052020000080200000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e00000018000000b40100009d01000051020000070200004b0000004000000030000000050000002000000001000000010000001000000006000000470000008402000079030000060000004700000084020000790300001e00000018000000b40100009d0100005102000007020000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c000000000000005400000070000000ea0100009d01000019020000ad01000001000000b939a2410080a241ea0100009d010000060000004c000000000000000000000000000000ffffffffffffffff580000007200650064005f006f006e000800000008000000080000000800000008000000080000001b000000100000008402000079030000160000000c000000000000004b000000400000003000000005000000200000000100000001000000100000000600000047000000840200007903000006000000470000008402000079030000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b00000010000000b7010000ae01000036000000100000004e020000ae010000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000002000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000540000007c000000b4010000ae010000fb010000be01000001000000b939a2410080a241b4010000ae010000080000004c00000004000000b4010000ae01000051020000070200005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000094000000b4010000bf01000013020000cf01000001000000b939a2410080a241b4010000bf0100000c0000004c00000004000000b4010000ae0100005102000007020000640000006c00650064005f007200650064005f006f006e0028002900080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000002000000280000000c00000003000000520000007001000003000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c000000030000005400000078000000b4010000d0010000f2010000e001000001000000b939a2410080a241b4010000d0010000070000004c00000004000000b4010000ae01000051020000070200005c000000450078006900740020002f002000000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000002000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000250000000c00000001000000250000000c00000002000000540000009c000000b4010000e10100001b020000f101000001000000b939a2410080a241b4010000e10100000d0000004c00000004000000b4010000ae0100005102000007020000680000006c00650064005f007200650064005f006f006600660028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000003000000280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c000000200000001f00000037010000ff000000900200000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e000000180000002100000039010000fe000000490100004b0000004000000030000000050000002000000001000000010000001000000006000000470000008402000079030000060000004700000084020000790300001e000000180000002100000039010000fe00000049010000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c0000000000000054000000940000005f00000039010000be0000004801000001000000b939a2410080a2415f000000390100000c0000004c000000000000000000000000000000ffffffffffffffff64000000790065006c006c006f0077005f0062006c0069006e006b000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000001b000000100000004e020000ae010000160000000c000000000000004b000000400000003000000005000000200000000100000001000000100000000600000047000000840200007903000006000000470000008402000079030000260000001c0000000200000000000000010000000000000000000000250000000c00000002000000270000001800000003000000000000000000000000000000250000000c00000003000000560000003c000000f700000040010000fd0000004801000008000000f9004001fb004001fb004501fd004501fa004801f7004501f9004501f9004001250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b0000001000000020000000490100003600000010000000ff00000049010000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e00000018000000210000004a010000fd0000008f0200004b0000004000000030000000050000002000000001000000010000001000000006000000470000008402000079030000060000004700000084020000790300001e00000018000000210000004a010000fd0000008f020000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c000000000000005400000078000000210000004a010000580000005a01000001000000b939a2410080a241210000004a010000070000004c000000000000000000000000000000ffffffffffffffff5c00000052006500670069006f006e0031000000080000000800000008000000080000000800000008000000080000001b00000010000000ff00000049010000160000000c000000000000004b000000400000003000000005000000200000000100000001000000100000000600000047000000840200007903000006000000470000008402000079030000250000000c0000000d00008021000000080000001e00000018000000200000004a010000fd00000091020000260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c000000200000004600000084010000cf000000bf0100000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e000000180000004800000086010000ce000000be0100004b00000040000000300000000500000020000000010000000100000010000000200000004a010000fd00000091020000200000004a010000fd000000910200001e000000180000004800000086010000ce000000be010000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c0000000000000054000000840000006700000086010000ae0000009601000001000000b939a2410080a2416700000086010000090000004c000000000000000000000000000000ffffffffffffffff60000000790065006c006c006f0077005f006f006e0000000800000008000000080000000800000008000000080000000800000008000000080000001b00000010000000ff00000049010000160000000c000000000000004b00000040000000300000000500000020000000010000000100000010000000200000004a010000fd00000091020000200000004a010000fd00000091020000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b000000100000004b000000970100003600000010000000cb00000097010000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000002000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000540000007c00000048000000970100008f000000a701000001000000b939a2410080a2414800000097010000080000004c000000040000004800000097010000ce000000be0100005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000a800000048000000a8010000bf000000b801000001000000b939a2410080a24148000000a80100000f0000004c000000040000004800000097010000ce000000be0100006c0000006c00650064005f00790065006c006c006f0077005f006f006e00280029000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000002000000280000000c00000003000000250000000c0000000d000080260000001c0000000300000006000000010000000000000000000000250000000c0000000300000027000000180000000200000000000000dcdcf00000000000250000000c000000020000002c00000020000000470000003d020000d00000007d0200000f0000000f000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e00000018000000490000003f020000cf0000007c0200004b00000040000000300000000500000020000000010000000100000010000000200000004a010000fd00000091020000200000004a010000fd000000910200001e00000018000000490000003f020000cf0000007c020000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c000000000000005400000088000000640000003f020000b30000004f02000001000000b939a2410080a241640000003f0200000a0000004c000000000000000000000000000000ffffffffffffffff60000000790065006c006c006f0077005f006f0066006600080000000800000008000000080000000800000008000000080000000800000008000000080000001b00000010000000cb00000097010000160000000c000000000000004b00000040000000300000000500000020000000010000000100000010000000200000004a010000fd00000091020000200000004a010000fd00000091020000250000000c0000000d000080260000001c0000000300000006000000010000000000000000000000250000000c000000030000001b000000100000004c000000500200003600000010000000cc00000050020000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000003000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000007c0000004900000050020000900000006002000001000000b939a2410080a2414900000050020000080000004c000000040000004900000050020000cf0000007c0200005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000002000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000250000000c00000001000000250000000c0000000200000054000000ac0000004900000061020000c80000007102000001000000b939a2410080a2414900000061020000100000004c000000040000004900000050020000cf0000007c0200006c0000006c00650064005f00790065006c006c006f0077005f006f00660066002800290008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000003000000280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000f3fafe0000000000250000000c000000030000002a000000180000002c000000640100003f00000077010000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000220000000c000000ffffffff260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c00000020000000ed0000006b00000083010000d90000000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e00000018000000ef0000006d00000082010000d80000004b0000004000000030000000050000002000000001000000010000001000000006000000470000008402000079030000060000004700000084020000790300001e00000018000000ef0000006d00000082010000d8000000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000007c000000180100006d000000570100007d00000001000000b939a2410080a241180100006d000000080000004c000000000000000000000000000000ffffffffffffffff5c00000067007200650065006e005f006f006e0008000000080000000800000008000000080000000800000008000000080000001b00000010000000ff00000049010000160000000c000000000000004b000000400000003000000005000000200000000100000001000000100000000600000047000000840200007903000006000000470000008402000079030000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b00000010000000f20000007e00000036000000100000007f0100007e000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000002000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000540000007c000000ef0000007e000000360100008e00000001000000b939a2410080a241ef0000007e000000080000004c00000004000000ef0000007e00000082010000d80000005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000a0000000ef0000008f0000005e0100009f00000001000000b939a2410080a241ef0000008f0000000e0000004c00000004000000ef0000007e00000082010000d8000000680000006c00650064005f0067007200650065006e005f006f006e00280029000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000002000000280000000c00000003000000520000007001000003000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c000000030000005400000078000000ef000000a00000002d010000b000000001000000b939a2410080a241ef000000a0000000070000004c00000004000000ef0000007e00000082010000d80000005c000000450078006900740020002f002000000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000002000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000250000000c00000001000000250000000c0000000200000054000000a8000000ef000000b100000066010000c100000001000000b939a2410080a241ef000000b10000000f0000004c00000004000000ef0000007e00000082010000d80000006c0000006c00650064005f0067007200650065006e005f006f0066006600280029000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000003000000280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000f3fafe0000000000250000000c000000030000002a00000018000000940000006c000000a70000007f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000220000000c000000ffffffff21000000080000001e0000001800000085020000470000003c05000079030000260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c00000020000000f5020000920000001b0500003b0300000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e00000018000000f7020000940000001a050000a40000004b0000004000000030000000050000002000000001000000010000001000000085020000470000003c0500007903000085020000470000003c050000790300001e00000018000000f7020000940000001a050000a4000000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c000000000000005400000070000000f0030000940000001f040000a300000001000000b939a2410080a241f003000094000000060000004c000000000000000000000000000000ffffffffffffffff580000005300740061007400650031000800000008000000080000000800000008000000080000001b000000100000008402000079030000160000000c000000000000004b0000004000000030000000050000002000000001000000010000001000000085020000470000003c0500007903000085020000470000003c05000079030000260000001c0000000200000000000000010000000000000000000000250000000c00000002000000270000001800000003000000000000000000000000000000250000000c00000003000000560000003c000000130500009b00000019050000a30000000800000015059b0017059b001705a0001905a0001605a3001305a0001505a00015059b00250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b00000010000000f6020000a400000036000000100000001b050000a4000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e00000018000000f7020000a50000001b0500003a0300004b0000004000000030000000050000002000000001000000010000001000000085020000470000003c0500007903000085020000470000003c050000790300001e00000018000000f7020000a50000001b0500003a030000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c000000000000005400000078000000f7020000a50000002e030000b500000001000000b939a2410080a241f7020000a5000000070000004c000000000000000000000000000000ffffffffffffffff5c00000052006500670069006f006e0031000000080000000800000008000000080000000800000008000000080000001b000000100000001b050000a4000000160000000c000000000000004b0000004000000030000000050000002000000001000000010000001000000085020000470000003c0500007903000085020000470000003c05000079030000250000000c0000000d00008021000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c0000002000000043030000d6000000c10300003f0100000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e0000001800000045030000d8000000c00300003e0100004b00000040000000300000000500000020000000010000000100000010000000f6020000a50000001b0500003c030000f6020000a50000001b0500003c0300001e0000001800000045030000d8000000c00300003e010000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000009400000052030000d8000000b1030000e800000001000000b939a2410080a24152030000d80000000c0000004c000000000000000000000000000000ffffffffffffffff6400000043006f0075006e0074006500720047007200650065006e000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000001b000000100000001b050000a4000000160000000c000000000000004b00000040000000300000000500000020000000010000000100000010000000f6020000a50000001b0500003c030000f6020000a50000001b0500003c030000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b0000001000000048030000e90000003600000010000000bd030000e9000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000002000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000540000007c00000045030000e90000008c030000f900000001000000b939a2410080a24145030000e9000000080000004c0000000400000045030000e9000000c00300003e0100005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000009000000045030000fa0000009c0300000a01000001000000b939a2410080a24145030000fa0000000b0000004c0000000400000045030000e9000000c00300003e010000640000005e0073006900670047007200650065006e004f006e0000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000002000000280000000c00000003000000250000000c0000000d000080260000001c0000000300000006000000010000000000000000000000250000000c0000000300000027000000180000000200000000000000dcdcf00000000000250000000c000000020000002c0000002000000005030000a5010000ae030000030200000f0000000f000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e0000001800000007030000a7010000ad030000020200004b00000040000000300000000500000020000000010000000100000010000000f6020000a50000001b0500003c030000f6020000a50000001b0500003c0300001e0000001800000007030000a7010000ad03000002020000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c00000000000000540000009c00000026030000a70100008d030000b701000001000000b939a2410080a24126030000a70100000d0000004c000000000000000000000000000000ffffffffffffffff6800000043006f0075006e00740065007200590065006c006c006f0077000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000001b00000010000000bd030000e9000000160000000c000000000000004b00000040000000300000000500000020000000010000000100000010000000f6020000a50000001b0500003c030000f6020000a50000001b0500003c030000250000000c0000000d000080260000001c0000000300000006000000010000000000000000000000250000000c000000030000001b000000100000000a030000b80100003600000010000000aa030000b8010000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000003000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000007c00000007030000b80100004e030000c801000001000000b939a2410080a24107030000b8010000080000004c0000000400000007030000b8010000ad030000020200005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000002000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000250000000c00000001000000250000000c0000000200000054000000a800000007030000c90100007e030000d901000001000000b939a2410080a24107030000c90100000f0000004c0000000400000007030000b8010000ad030000020200006c0000005e00730069006700590065006c006c006f00770042006c0069006e006b000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000003000000280000000c00000002000000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000f3fafe0000000000250000000c000000030000002a0000001800000011030000bd00000024030000d0000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000260000001c0000000200000006000000010000000000000000000000250000000c0000000200000027000000180000000300000000000000dcdcf00000000000250000000c000000030000002c000000200000004d03000092020000d6030000d60200000f0000000f000000250000000c00000000000080280000000c00000003000000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c000000010000001e000000180000004f03000094020000d5030000d50200004b00000040000000300000000500000020000000010000000100000010000000f6020000a50000001b0500003c030000f6020000a50000001b0500003c0300001e000000180000004f03000094020000d5030000d5020000160000000c00000001000000120000000c000000010000001b000000100000000000000000000000160000000c0000000000000054000000880000006a03000094020000b9030000a402000001000000b939a2410080a2416a030000940200000a0000004c000000000000000000000000000000ffffffffffffffff6000000043006f0075006e00740065007200520065006400080000000800000008000000080000000800000008000000080000000800000008000000080000001b00000010000000aa030000b8010000160000000c000000000000004b00000040000000300000000500000020000000010000000100000010000000f6020000a50000001b0500003c030000f6020000a50000001b0500003c030000250000000c0000000d000080260000001c0000000200000006000000010000000000000000000000250000000c000000020000001b0000001000000052030000a50200003600000010000000d2030000a5020000250000000c00000007000080280000000c00000002000000250000000c00000001000000180000000c0000000000ff00120000000c00000001000000520000007001000002000000f3ffffff000000000000000000000000bc02000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000002000000540000007c0000004f030000a502000096030000b502000001000000b939a2410080a2414f030000a5020000080000004c000000040000004f030000a5020000d5030000d50200005c00000045006e0074007200790020002f0020000900000009000000090000000900000009000000090000000900000009000000250000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000840000004f030000b602000096030000c602000001000000b939a2410080a2414f030000b6020000090000004c000000040000004f030000a5020000d5030000d5020000600000005e007300690067005200650064004f006e000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000280000000c00000002000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff260000001c0000000300000006000000010000000000000000000000250000000c0000000300000027000000180000000200000000000000f3fafe0000000000250000000c000000020000002a00000018000000a202000065000000b502000078000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000220000000c000000ffffffff260000001c0000000300000006000000010000000000000000000000250000000c0000000300000027000000180000000200000000000000f3fafe0000000000250000000c000000020000002a000000180000001000000007000000230000001a000000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c0000000300000021000000080000001e0000001800000006000000470000008402000079030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b000000100000000f0200009b01000036000000100000006a010000da000000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c0000000200000056000000280000006a010000da00000075010000e5000000030000006a01da006d01e5007501df00250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c0000000300000054000000880000006e01000017010000bd0100002701000001000000b939a2410080a2416e010000170100000a0000004c000000040000006e0100001701000008020000300100006000000073006900670047007200650065006e004f006e0008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000c601000017010000cd0100002701000001000000b939a2410080a241c601000017010000010000004c000000040000006e010000170100000802000030010000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e0000001800000006000000470000008402000079030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b0000001000000000010000200200003600000010000000b2010000b9010000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c000000020000005600000028000000a6010000b9010000b2010000c201000003000000b201b901a601ba01ab01c201250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000007c0000001b010000de0100005a010000ee01000001000000b939a2410080a2411b010000de010000080000004c000000040000001b010000de010000af010000fc0100005c0000007300690067005200650064004f006e000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000005400000063010000de0100006a010000ee01000001000000b939a2410080a24163010000de010000010000004c000000040000001b010000de010000af010000fc010000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000200000004a010000fd00000091020000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b0000001000000064000000c00100003600000010000000630000003d020000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c0000000200000056000000280000005f00000032020000670000003d0200000300000063003d02670032025f003202250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c0000002f0000000c020000960000001c02000001000000b939a2410080a2412f0000000c0200000d0000004c000000040000002f0000000c020000ba0000002a02000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000540000009f0000000c020000a60000001c02000001000000b939a2410080a2419f0000000c020000010000004c000000040000002f0000000c020000ba0000002a020000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000200000004a010000fd00000091020000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000af0000003d0200003600000010000000b0000000c0010000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c000000020000005600000028000000ac000000c0010000b4000000cb01000003000000b000c001ac00cb01b400cb01250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c00000075000000e4010000dc000000f401000001000000b939a2410080a24175000000e40100000d0000004c0000000400000075000000e4010000f0000000fd01000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000e5000000e4010000ec000000f401000001000000b939a2410080a241e5000000e4010000010000004c0000000400000075000000e4010000f0000000fd010000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000200000004a010000fd00000091020000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000400000006e01000036000000100000005a00000084010000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c0000000200000056000000280000004f000000790100005a00000084010000030000005a008401550079014f008101250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c0000000300000054000000540000000000000000000000ffffffffffffffff01000000b939a2410080a2410a00000084010000010000004c000000040000000a000000840100005a000000a2010000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e0000001800000006000000470000008402000079030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b0000001000000017010000da00000036000000100000009a00000037010000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c0000000200000056000000280000009a0000002d010000a600000037010000030000009a003701a6003501a0002d01250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c0000000300000054000000a0000000ac000000f20000001b0100000201000001000000b939a2410080a241ac000000f20000000e0000004c00000004000000ac000000f2000000390100000b01000068000000730069006700590065006c006c006f00770042006c0069006e006b000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000005400000024010000f20000002b0100000201000001000000b939a2410080a24124010000f2000000010000004c00000004000000ac000000f2000000390100000b010000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e0000001800000006000000470000008402000079030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000a8000000760000003600000010000000ed0000007a000000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c000000020000005600000028000000e200000075000000ed0000007d00000003000000ed007a00e2007500e2007d00250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c000000030000005400000054000000ad00000076000000b40000008600000001000000b939a2410080a241ad00000076000000010000004c00000004000000ad00000076000000c800000094000000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000500300004001000036000000100000004f0300004201000036000000100000004f0300004401000036000000100000004e0300004701000036000000100000004e0300004901000036000000100000004e0300004c01000036000000100000004d0300004e01000036000000100000004d0300005101000036000000100000004d0300005301000036000000100000004c0300005601000036000000100000004c0300005801000036000000100000004c0300005b01000036000000100000004b0300005d01000036000000100000004b0300006001000036000000100000004a0300006201000036000000100000004a03000065010000360000001000000049030000670100003600000010000000490300006a0100003600000010000000490300006c0100003600000010000000480300006f010000360000001000000048030000720100003600000010000000470300007401000036000000100000004603000077010000360000001000000046030000790100003600000010000000450300007c0100003600000010000000450300007e010000360000001000000044030000810100003600000010000000430300008301000036000000100000004303000086010000360000001000000042030000880100003600000010000000410300008b0100003600000010000000410300008d0100003600000010000000400300009001000036000000100000003f0300009301000036000000100000003f0300009501000036000000100000003e0300009801000036000000100000003d0300009a01000036000000100000003d0300009d01000036000000100000003c0300009f01000036000000100000003b030000a201000036000000100000003b030000a5010000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c0000000200000056000000280000003a0300009901000042030000a5010000030000003b03a50142039c013a039901250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000450300006f0100004c030000760100000500000045036f014c036f014c0376014503760145036f01250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c0000001e03000051010000850300006101000001000000b939a2410080a2411e030000510100000d0000004c000000040000001e0300005101000006040000ab01000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c40000001e03000062010000bd0300007201000001000000b939a2410080a2411e03000062010000140000004c000000040000001e0300005101000006040000ab010000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000c603000062010000d50300007201000001000000b939a2410080a241c603000062010000020000004c000000040000001e0300005101000006040000ab010000500000003d003d000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000009c0000001e03000073010000850300008301000001000000b939a2410080a2411e030000730100000d0000004c000000040000001e0300005101000006040000ab010000680000006900540069006d00650047007200650065006e004f006e005d00000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000540000008e03000073010000950300008301000001000000b939a2410080a2418e03000073010000010000004c000000040000001e0300005101000006040000ab010000500000002f00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c40000001e03000084010000bd0300009401000001000000b939a2410080a2411e03000084010000140000004c000000040000001e0300005101000006040000ab010000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000c603000084010000cd0300009401000001000000b939a2410080a241c603000084010000010000004c000000040000001e0300005101000006040000ab010000500000003d00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000d603000084010000e50300009401000001000000b939a2410080a241d603000084010000020000004c000000040000001e0300005101000006040000ab0100005000000030005d000800000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b0000001000000093030000400100003600000010000000970300004001000036000000100000009c030000410100003600000010000000a1030000420100003600000010000000a6030000420100003600000010000000ab030000430100003600000010000000b0030000440100003600000010000000b5030000450100003600000010000000ba030000450100003600000010000000bf030000460100003600000010000000c4030000470100003600000010000000c9030000470100003600000010000000ce030000480100003600000010000000d3030000490100003600000010000000d8030000490100003600000010000000dc0300004a0100003600000010000000e10300004a0100003600000010000000e60300004b0100003600000010000000eb0300004c0100003600000010000000f00300004c0100003600000010000000f50300004d0100003600000010000000f90300004d0100003600000010000000fe0300004d0100003600000010000000030400004e0100003600000010000000070400004e01000036000000100000000c0400004e0100003600000010000000110400004f0100003600000010000000160400004f01000036000000100000001a0400004f01000036000000100000001f0400004f0100003600000010000000230400004f0100003600000010000000280400004f01000036000000100000002c0400004f0100003600000010000000310400004f0100003600000010000000350400004e01000036000000100000003a0400004e01000036000000100000003e0400004e0100003600000010000000430400004d0100003600000010000000470400004c01000036000000100000004b0400004b0100003600000010000000500400004b010000360000001000000054040000490100003600000010000000580400004801000036000000100000005c0400004701000036000000100000006004000046010000360000001000000064040000440100003600000010000000680400004201000036000000100000006c040000410100003600000010000000700400003f0100003600000010000000740400003d0100003600000010000000770400003b01000036000000100000007b0400003801000036000000100000007f0400003601000036000000100000008204000033010000360000001000000085040000310100003600000010000000880400002e01000036000000100000008b0400002b01000036000000100000008e0400002801000036000000100000009104000025010000360000001000000094040000220100003600000010000000970400001f0100003600000010000000990400001b01000036000000100000009b0400001701000036000000100000009d0400001401000036000000100000009f040000100100003600000010000000a10400000c0100003600000010000000a2040000080100003600000010000000a3040000040100003600000010000000a4040000000100003600000010000000a5040000fc0000003600000010000000a5040000f80000003600000010000000a5040000f40000003600000010000000a4040000f00000003600000010000000a3040000ec0000003600000010000000a2040000e80000003600000010000000a0040000e400000036000000100000009e040000e100000036000000100000009b040000dd000000360000001000000098040000d9000000360000001000000095040000d6000000360000001000000091040000d300000036000000100000008c040000cf000000360000001000000087040000cc000000360000001000000081040000c900000036000000100000007b040000c7000000360000001000000074040000c400000036000000100000006d040000c2000000360000001000000066040000bf00000036000000100000005f040000bd000000360000001000000057040000bb00000036000000100000004f040000ba000000360000001000000047040000b800000036000000100000003f040000b7000000360000001000000037040000b500000036000000100000002e040000b4000000360000001000000026040000b400000036000000100000001e040000b3000000360000001000000016040000b300000036000000100000000e040000b2000000360000001000000006040000b20000003600000010000000ff030000b30000003600000010000000f7030000b30000003600000010000000f0030000b40000003600000010000000e9030000b40000003600000010000000e2030000b50000003600000010000000dc030000b70000003600000010000000d6030000b80000003600000010000000cf030000b90000003600000010000000c9030000bb0000003600000010000000c4030000bd0000003600000010000000be030000bf0000003600000010000000b8030000c10000003600000010000000b3030000c30000003600000010000000ad030000c50000003600000010000000a8030000c70000003600000010000000a3030000c900000036000000100000009e030000cc000000360000001000000099030000ce000000360000001000000094030000d100000036000000100000008f030000d300000036000000100000008a030000d6000000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c0000000200000056000000280000008a030000cd00000096030000d6000000030000008a03d6009603d6009103cd00250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000f20300004a010000f90300005101000005000000f2034a01f9034a01f9035101f2035101f2034a01250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c0000000200000056000000300000004d04000048010000540400004f010000050000004d0448015404480154044f014d044f014d044801250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000940400001c0100009b040000230100000500000094041c019b041c019b0423019404230194041c01250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c0000000200000056000000300000008e040000d000000095040000d7000000050000008e04d0009504d0009504d7008e04d7008e04d000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000fc030000b000000003040000b700000005000000fc03b0000304b0000304b700fc03b700fc03b000250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c000000d9030000c700000040040000d700000001000000b939a2410080a241d9030000c70000000d0000004c00000004000000d9030000c7000000970400003001000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000d9030000d800000078040000e800000001000000b939a2410080a241d9030000d8000000140000004c00000004000000d9030000c70000009704000030010000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000005400000081040000d800000088040000e800000001000000b939a2410080a24181040000d8000000010000004c00000004000000d9030000c70000009704000030010000500000003c00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000009c000000d9030000e900000040040000f900000001000000b939a2410080a241d9030000e90000000d0000004c00000004000000d9030000c70000009704000030010000680000006900540069006d00650047007200650065006e004f006e005d00000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000005400000049040000e900000050040000f900000001000000b939a2410080a24149040000e9000000010000004c00000004000000d9030000c70000009704000030010000500000002f00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000d9030000fa000000780400000a01000001000000b939a2410080a241d9030000fa000000140000004c00000004000000d9030000c70000009704000030010000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c00000003000000540000005400000081040000fa000000880400000a01000001000000b939a2410080a24181040000fa000000010000004c00000004000000d9030000c70000009704000030010000500000003d00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c0000000d90300000b010000700400001b01000001000000b939a2410080a241d90300000b010000130000004c00000004000000d9030000c700000097040000300100007400000067005f0069004f006e0065005300650063006f006e00640043006f0075006e00740065007200000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000790400000b010000800400001b01000001000000b939a2410080a241790400000b010000010000004c00000004000000d9030000c70000009704000030010000500000002b00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000d90300001c010000e80300002c01000001000000b939a2410080a241d90300001c010000020000004c00000004000000d9030000c700000097040000300100005000000031005d000800000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b000000100000004a0300000402000036000000100000006f03000092020000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c00000002000000560000002800000068030000860200007003000092020000030000006f0392027003860268038902250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c000000fb02000028020000620300003802000001000000b939a2410080a241fb020000280200000d0000004c00000004000000fb02000028020000dc0300007002000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000fb020000390200009a0300004902000001000000b939a2410080a241fb02000039020000140000004c00000004000000fb02000028020000dc03000070020000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000a303000039020000b20300004902000001000000b939a2410080a241a303000039020000020000004c00000004000000fb02000028020000dc03000070020000500000003d003d000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000cc000000fb0200004a020000a20300005a02000001000000b939a2410080a241fb0200004a020000150000004c00000004000000fb02000028020000dc03000070020000780000006900540069006d006500590065006c006c006f00770042006c0069006e006b00540069006d0065005d000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000ab0300004a020000b20300005a02000001000000b939a2410080a241ab0300004a020000010000004c00000004000000fb02000028020000dc03000070020000500000002f00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000fb0200005b0200009a0300006b02000001000000b939a2410080a241fb0200005b020000140000004c00000004000000fb02000028020000dc03000070020000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000a30300005b020000aa0300006b02000001000000b939a2410080a241a30300005b020000010000004c00000004000000fb02000028020000dc03000070020000500000003d00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000b30300005b020000c20300006b02000001000000b939a2410080a241b30300005b020000020000004c00000004000000fb02000028020000dc030000700200005000000030005d000800000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b000000100000008a0300000402000036000000100000008b0300000602000036000000100000008c0300000802000036000000100000008d0300000b02000036000000100000008f0300000d0200003600000010000000900300000f020000360000001000000092030000120200003600000010000000930300001402000036000000100000009503000016020000360000001000000097030000180200003600000010000000990300001a02000036000000100000009c0300001c02000036000000100000009e0300001e0200003600000010000000a1030000200200003600000010000000a4030000210200003600000010000000a7030000230200003600000010000000aa030000240200003600000010000000ae030000250200003600000010000000b2030000270200003600000010000000b7030000280200003600000010000000bc030000290200003600000010000000c1030000290200003600000010000000c60300002a0200003600000010000000cc0300002a0200003600000010000000d20300002a0200003600000010000000d90300002b0200003600000010000000df0300002b0200003600000010000000e60300002b0200003600000010000000ee0300002b0200003600000010000000f50300002b0200003600000010000000fd0300002a0200003600000010000000050400002a02000036000000100000000d0400002a0200003600000010000000160400002a02000036000000100000001e040000290200003600000010000000270400002902000036000000100000003004000029020000360000001000000039040000290200003600000010000000420400002902000036000000100000004b040000290200003600000010000000550400002902000036000000100000005e04000029020000360000001000000067040000290200003600000010000000710400002902000036000000100000007a040000290200003600000010000000840400002902000036000000100000008d040000290200003600000010000000960400002902000036000000100000009f040000280200003600000010000000a8040000280200003600000010000000b1040000270200003600000010000000ba040000260200003600000010000000c2040000250200003600000010000000ca040000230200003600000010000000d2040000210200003600000010000000da0400001e0200003600000010000000e10400001b0200003600000010000000e8040000180200003600000010000000ee040000140200003600000010000000f4040000100200003600000010000000fa0400000b0200003600000010000000ff04000005020000360000001000000003050000ff010000360000001000000007050000f801000036000000100000000a050000f101000036000000100000000d050000e9010000360000001000000010050000e1010000360000001000000011050000d9010000360000001000000013050000d0010000360000001000000013050000c8010000360000001000000013050000bf010000360000001000000012050000b7010000360000001000000011050000ae01000036000000100000000e050000a601000036000000100000000c0500009e010000360000001000000008050000960100003600000010000000040500008e0100003600000010000000ff040000870100003600000010000000f9040000800100003600000010000000f20400007a0100003600000010000000eb040000750100003600000010000000e20400006f0100003600000010000000d90400006b0100003600000010000000cf040000670100003600000010000000c5040000640100003600000010000000ba040000610100003600000010000000af0400005f0100003600000010000000a30400005d0100003600000010000000970400005b01000036000000100000008a0400005a01000036000000100000007d0400005a0100003600000010000000700400005a0100003600000010000000640400005a0100003600000010000000570400005a01000036000000100000004a0400005b01000036000000100000003d0400005c0100003600000010000000300400005e0100003600000010000000240400005f0100003600000010000000180400006101000036000000100000000d04000063010000360000001000000002040000660100003600000010000000f7030000680100003600000010000000ed0300006a0100003600000010000000e30300006d0100003600000010000000da030000700100003600000010000000d1030000720100003600000010000000c9030000750100003600000010000000c1030000780100003600000010000000ba0300007b0100003600000010000000b30300007e0100003600000010000000ac030000820100003600000010000000a50300008501000036000000100000009e030000880100003600000010000000980300008c0100003600000010000000920300008f01000036000000100000008c03000093010000360000001000000087030000960100003600000010000000810300009a01000036000000100000007b0300009d010000360000001000000076030000a1010000360000001000000071030000a5010000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c000000020000005600000028000000710300009b0100007d030000a5010000030000007103a5017d03a30177039b01250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000b903000026020000c00300002d02000005000000b9032602c0032602c0032d02b9032d02b9032602250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c0000000200000056000000300000005204000026020000590400002d02000005000000520426025904260259042d0252042d0252042602250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000f704000008020000fe0400000f02000005000000f7040802fe040802fe040f02f7040f02f7040802250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000e804000072010000ef0400007901000005000000e8047201ef047201ef047901e8047901e8047201250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000ff03000063010000060400006a01000005000000ff0363010604630106046a01ff036a01ff036301250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c000000ff0300007d010000660400008d01000001000000b939a2410080a241ff0300007d0100000d0000004c00000004000000ff0300007d010000c9040000f101000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000ff0300008e0100009e0400009e01000001000000b939a2410080a241ff0300008e010000140000004c00000004000000ff0300007d010000c9040000f1010000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000a70400008e010000ae0400009e01000001000000b939a2410080a241a70400008e010000010000004c00000004000000ff0300007d010000c9040000f1010000500000003c00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000cc000000ff0300009f010000a6040000af01000001000000b939a2410080a241ff0300009f010000150000004c00000004000000ff0300007d010000c9040000f1010000780000006900540069006d006500590065006c006c006f00770042006c0069006e006b00540069006d0065005d000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000af0400009f010000b6040000af01000001000000b939a2410080a241af0400009f010000010000004c00000004000000ff0300007d010000c9040000f1010000500000002f00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000ff030000b00100009e040000c001000001000000b939a2410080a241ff030000b0010000140000004c00000004000000ff0300007d010000c9040000f1010000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000a7040000b0010000ae040000c001000001000000b939a2410080a241a7040000b0010000010000004c00000004000000ff0300007d010000c9040000f1010000500000003d00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c0000000ff030000c101000096040000d101000001000000b939a2410080a241ff030000c1010000130000004c00000004000000ff0300007d010000c9040000f10100007400000067005f0069004f006e0065005300650063006f006e00640043006f0075006e00740065007200000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000540000009f040000c1010000a6040000d101000001000000b939a2410080a2419f040000c1010000010000004c00000004000000ff0300007d010000c9040000f1010000500000002b00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000af040000c1010000be040000d101000001000000b939a2410080a241af040000c1010000020000004c00000004000000ff0300007d010000c9040000f10100005000000031005d000800000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b0000001000000022030000ce000000360000001000000053030000d6000000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c00000002000000560000002800000047030000d000000053030000d8000000030000005303d6004903d0004703d800250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000005400000038030000b70000003f030000c700000001000000b939a2410080a24138030000b7000000010000004c0000000400000038030000b700000057030000d5000000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e0000001800000085020000470000003c05000079030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b0000001000000077030000d70200003600000010000000770300003c030000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c00000002000000560000002800000073030000310300007b0300003c0300000300000077033c037b03310373033103250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c000000fd020000db02000064030000eb02000001000000b939a2410080a241fd020000db0200000d0000004c00000004000000fd020000db020000ce0300002b03000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000fd020000ec0200009c030000fc02000001000000b939a2410080a241fd020000ec020000140000004c00000004000000fd020000db020000ce0300002b030000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000a5030000ec020000b4030000fc02000001000000b939a2410080a241a5030000ec020000020000004c00000004000000fd020000db020000ce0300002b030000500000003d003d000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000090000000fd020000fd020000540300000d03000001000000b939a2410080a241fd020000fd0200000b0000004c00000004000000fd020000db020000ce0300002b030000640000006900540069006d0065005200650064004f006e005d0000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000540000005d030000fd020000640300000d03000001000000b939a2410080a2415d030000fd020000010000004c00000004000000fd020000db020000ce0300002b030000500000002f00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000c4000000fd0200000e0300009c0300001e03000001000000b939a2410080a241fd0200000e030000140000004c00000004000000fd020000db020000ce0300002b030000740000005b0067005f0069004f006e0065005300650063006f006e00640043006f0075006e007400650072000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000054000000a50300000e030000ac0300001e03000001000000b939a2410080a241a50300000e030000010000004c00000004000000fd020000db020000ce0300002b030000500000003d00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c000000030000005400000058000000b50300000e030000c40300001e03000001000000b939a2410080a241b50300000e030000020000004c00000004000000fd020000db020000ce0300002b0300005000000030005d000800000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e00000018000000f6020000a50000001b0500003c030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000a1030000d70200003600000010000000a0030000d90200003600000010000000a0030000db0200003600000010000000a0030000dd0200003600000010000000a0030000df0200003600000010000000a1030000e10200003600000010000000a1030000e30200003600000010000000a1030000e50200003600000010000000a1030000e70200003600000010000000a2030000e90200003600000010000000a2030000eb0200003600000010000000a3030000ed0200003600000010000000a4030000ef0200003600000010000000a5030000f10200003600000010000000a6030000f30200003600000010000000a7030000f50200003600000010000000a8030000f70200003600000010000000aa030000f90200003600000010000000ac030000fb0200003600000010000000ae030000fd0200003600000010000000b1030000000300003600000010000000b3030000020300003600000010000000b6030000040300003600000010000000b9030000060300003600000010000000bc030000080300003600000010000000c00300000a0300003600000010000000c40300000c0300003600000010000000c80300000d0300003600000010000000cc0300000f0300003600000010000000d1030000110300003600000010000000d5030000120300003600000010000000da030000140300003600000010000000e0030000150300003600000010000000e5030000160300003600000010000000eb030000180300003600000010000000f1030000180300003600000010000000f7030000190300003600000010000000fd0300001a0300003600000010000000040400001a03000036000000100000000b0400001a0300003600000010000000120400001b0300003600000010000000190400001a0300003600000010000000200400001a0300003600000010000000280400001903000036000000100000002f040000180300003600000010000000370400001703000036000000100000003e040000160300003600000010000000460400001503000036000000100000004e040000130300003600000010000000550400001103000036000000100000005d0400000f0300003600000010000000640400000d03000036000000100000006b0400000a030000360000001000000072040000070300003600000010000000790400000403000036000000100000007f04000001030000360000001000000085040000fe02000036000000100000008b040000fa020000360000001000000090040000f7020000360000001000000095040000f302000036000000100000009a040000ef02000036000000100000009d040000ea0200003600000010000000a1040000e60200003600000010000000a4040000e10200003600000010000000a6040000dc0200003600000010000000a8040000d70200003600000010000000aa040000d20200003600000010000000ab040000cd0200003600000010000000ac040000c80200003600000010000000ad040000c30200003600000010000000ad040000bd0200003600000010000000ad040000b80200003600000010000000ac040000b30200003600000010000000ab040000ae0200003600000010000000aa040000a90200003600000010000000a9040000a30200003600000010000000a80400009e0200003600000010000000a6040000990200003600000010000000a4040000950200003600000010000000a2040000900200003600000010000000a00400008c02000036000000100000009d0400008702000036000000100000009b040000830200003600000010000000980400007f0200003600000010000000950400007b0200003600000010000000920400007802000036000000100000008f0400007402000036000000100000008b040000710200003600000010000000880400006e0200003600000010000000840400006c0200003600000010000000800400006902000036000000100000007c04000067020000360000001000000077040000650200003600000010000000730400006402000036000000100000006e04000062020000360000001000000069040000610200003600000010000000630400006002000036000000100000005e040000600200003600000010000000580400005f0200003600000010000000520400005f02000036000000100000004c040000600200003600000010000000450400006002000036000000100000003e0400006102000036000000100000003704000062020000360000001000000030040000640200003600000010000000280400006502000036000000100000002004000067020000360000001000000018040000690200003600000010000000100400006c0200003600000010000000080400006e020000360000001000000000040000710200003600000010000000f7030000740200003600000010000000ee030000770200003600000010000000e60300007a0200003600000010000000dd0300007d0200003600000010000000d4030000800200003600000010000000cb030000840200003600000010000000c2030000870200003600000010000000b90300008a0200003600000010000000b00300008e0200003600000010000000a703000092020000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c000000020000005600000028000000a70300008a020000b30300009202000003000000a7039202b3039202af038a02250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000ae030000fd020000b50300000403000005000000ae03fd02b503fd02b5030403ae030403ae03fd02250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c0000000200000056000000300000000f04000018030000160400001f030000050000000f0418031604180316041f030f041f030f041803250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c00000002000000560000003000000097040000ec0200009e040000f3020000050000009704ec029e04ec029e04f3029704f3029704ec02250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c0000000200000056000000300000009d04000089020000a404000090020000050000009d048902a4048902a40490029d0490029d048902250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000260000001c00000003000000060000000100000000000000ff7a6300250000000c0000000300000027000000180000000200000000000000ff7a630000000000250000000c000000020000005600000030000000490400005d02000050040000640200000500000049045d0250045d02500464024904640249045d02250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c00000003000000540000009c000000fd03000075020000640400008502000001000000b939a2410080a241fd030000750200000d0000004c00000004000000fd0300007502000082040000fb02000068000000650076004f006e0065005300650063006f006e00640028002900000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000ac000000fd030000860200007c0400009602000001000000b939a2410080a241fd03000086020000100000004c00000004000000fd0300007502000082040000fb0200006c0000005b0067005f0069004f006e0065005300650063006f006e0064002e002e002e0008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c000000030000005400000054000000fd0300009702000004040000a702000001000000b939a2410080a241fd03000097020000010000004c00000004000000fd0300007502000082040000fb020000500000003c00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000900000000d0400009702000064040000a702000001000000b939a2410080a2410d040000970200000b0000004c00000004000000fd0300007502000082040000fb020000640000006900540069006d0065005200650064004f006e005d0000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000540000006d0400009702000074040000a702000001000000b939a2410080a2416d04000097020000010000004c00000004000000fd0300007502000082040000fb020000500000002f00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000ac000000fd030000a80200007c040000b802000001000000b939a2410080a241fd030000a8020000100000004c00000004000000fd0300007502000082040000fb0200006c0000005b0067005f0069004f006e0065005300650063006f006e0064002e002e002e0008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c000000030000005400000054000000fd030000b902000004040000c902000001000000b939a2410080a241fd030000b9020000010000004c00000004000000fd0300007502000082040000fb020000500000003d00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000ac000000fd030000ca0200007c040000da02000001000000b939a2410080a241fd030000ca020000100000004c00000004000000fd0300007502000082040000fb0200006c00000067005f0069004f006e0065005300650063006f006e00640043002e002e002e0008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000080000000800000008000000250000000c00000001000000250000000c000000030000005400000054000000fd030000db02000004040000eb02000001000000b939a2410080a241fd030000db020000010000004c00000004000000fd0300007502000082040000fb020000500000002b00000008000000250000000c00000001000000250000000c00000003000000250000000c00000001000000250000000c0000000300000054000000580000000d040000db0200001c040000eb02000001000000b939a2410080a2410d040000db020000020000004c00000004000000fd0300007502000082040000fb0200005000000031005d000800000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e0000001800000085020000470000003c05000079030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000b3020000760000003600000010000000f502000093000000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c000000020000005600000028000000e90200008b000000f50200009300000003000000f5029300ed028b00e9029300250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c000000030000005400000054000000db0200006f000000e20200007f00000001000000b939a2410080a241db0200006f000000010000004c00000004000000db0200006f000000d70300008d000000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff21000000080000001e0000001800000004000000040000003e0500007a030000260000001c000000030000000600000001000000000000000000ff00250000000c000000030000001b00000010000000240000001100000036000000100000003d00000034000000250000000c00000007000080280000000c00000003000000260000001c000000030000000600000001000000000000000000ff00250000000c00000003000000270000001800000002000000000000000000ff0000000000250000000c00000002000000560000002800000033000000280000003d00000034000000030000003d0034003b00280033002e00250000000c00000000000080280000000c00000002000000250000000c00000007000080280000000c00000003000000250000000c00000001000000180000000c00000000000000120000000c00000001000000520000007001000003000000f3ffffff0000000000000000000000009001000000000000000000004d006f006e00610063006f005f005900610048006500690000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000250000000c0000000300000054000000540000004200000018000000490000002800000001000000b939a2410080a2414200000018000000010000004c0000000400000042000000180000009200000036000000500000002f00000008000000250000000c00000001000000280000000c00000003000000250000000c0000000d000080220000000c000000ffffffff0e00000014000000000000001000000014000000
}
 \par}
{\pard\s15\sb240\sa160\keepn\outlinelevel3\f1\fs20\b Hierarchy\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
\par}
{\pard\s5\li1190\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
\par}
{\pard\s6\li1587\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link33 \\h}}{\fldrslt{red_on}}}
\par}
{\pard\s6\li1587\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\field{\*\fldinst{REF link36 \\h}}{\fldrslt{yellow_blink}}}
\par}
{\pard\s7\li1984\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\field{\*\fldinst{REF link37 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s8\li2381\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link38 \\h}}{\fldrslt{yellow_on}}}
\par}
{\pard\s8\li2381\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link40 \\h}}{\fldrslt{yellow_off}}}
\par}
{\pard\s6\li1587\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link43 \\h}}{\fldrslt{green_on}}}
\par}
{\pard\s5\li1190\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\field{\*\fldinst{REF link47 \\h}}{\fldrslt{ControlRegion}}}
\par}
{\pard\s6\li1587\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
\par}
{\pard\s7\li1984\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\field{\*\fldinst{REF link49 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s8\li2381\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link50 \\h}}{\fldrslt{CounterGreen}}}
\par}
{\pard\s8\li2381\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link52 \\h}}{\fldrslt{CounterYellow}}}
\par}
{\pard\s8\li2381\fi-396\sa40\f0\fs20 \bullet \tab  {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\field{\*\fldinst{REF link55 \\h}}{\fldrslt{CounterRed}}}
\par}
{\pard\s15\sb240\sa160\keepn\outlinelevel3\f1\fs20\b States\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\*\bkmkstart link31}WaterLight{\*\bkmkend link31}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\*\bkmkstart link32}LedRegion{\*\bkmkend link32}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link33}red_on{\*\bkmkend link33}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link34}{\*\bkmkend link34} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / [{\field{\*\fldinst{REF link8 \\h}}{\fldrslt{led_red_on}}}
()];\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link35}{\*\bkmkend link35} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000784944415478da626041030001c4802e0010400c2ccccc4c70c0cccc00104018020001842100104018020001041240060c0001c4c0c280c267010820a0b50c20c0c808a65858000208e60ea000840110401802000184210010400c101e0480380001c4c0821001b301028881052e0261020410861900010600841e02d3733d8e120000000049454e44ae426082
}
 Exit / [{\field{\*\fldinst{REF link7 \\h}}{\fldrslt{led_red_off}}}
()];\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\*\bkmkstart link36}yellow_blink{\*\bkmkend link36}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\*\bkmkstart link37}Region1{\*\bkmkend link37}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
.{\field{\*\fldinst{REF link36 \\h}}{\fldrslt{yellow_blink}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link38}yellow_on{\*\bkmkend link38}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
.{\field{\*\fldinst{REF link36 \\h}}{\fldrslt{yellow_blink}}}
.{\field{\*\fldinst{REF link37 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link39}{\*\bkmkend link39} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / [{\field{\*\fldinst{REF link10 \\h}}{\fldrslt{led_yellow_on}}}
()];\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link40}yellow_off{\*\bkmkend link40}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
.{\field{\*\fldinst{REF link36 \\h}}{\fldrslt{yellow_blink}}}
.{\field{\*\fldinst{REF link37 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link41}{\*\bkmkend link41} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / [{\field{\*\fldinst{REF link9 \\h}}{\fldrslt{led_yellow_off}}}
()];\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link42}{\*\bkmkend link42} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445000000ffffff00000073c683710000000374524e53ffff00d7ca0d41000000644944415478da626042030001c4802e0010401802000184210010405001062080b000028801c265040288104000810830172c04e4000410860040003120f1c1220001842100104018020001842100104018860204108600400061380c2080309c0e106000d7b001711889bdcb0000000049454e44ae426082
}
 initial1 -> / -> {\field{\*\fldinst{REF link38 \\h}}{\fldrslt{yellow_on}}}
;\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link43}green_on{\*\bkmkend link43}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link32 \\h}}{\fldrslt{LedRegion}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link44}{\*\bkmkend link44} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / [{\field{\*\fldinst{REF link6 \\h}}{\fldrslt{led_green_on}}}
()];\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link45}{\*\bkmkend link45} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000784944415478da626041030001c4802e0010400c2ccccc4c70c0cccc00104018020001842100104018020001041240060c0001c4c0c280c267010820a0b50c20c0c808a65858000208e60ea000840110401802000184210010400c101e0480380001c4c0821001b301028881052e0261020410861900010600841e02d3733d8e120000000049454e44ae426082
}
 Exit / [{\field{\*\fldinst{REF link5 \\h}}{\fldrslt{led_green_off}}}
()];\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link46}{\*\bkmkend link46} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445000000ffffff00000073c683710000000374524e53ffff00d7ca0d41000000644944415478da626042030001c4802e0010401802000184210010405001062080b000028801c265040288104000810830172c04e4000410860040003120f1c1220001842100104018020001842100104018860204108600400061380c2080309c0e106000d7b001711889bdcb0000000049454e44ae426082
}
 initial1 -> / -> {\field{\*\fldinst{REF link43 \\h}}{\fldrslt{green_on}}}
;\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\*\bkmkstart link47}ControlRegion{\*\bkmkend link47}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000614944415478da626042030001c4c0c4c48004989800028881898111093030010410030a1f280210400ce80020803054000410860040006108000410860040006108000410860040006108000410860040006108000410865f000208c3b7000106007bea00ddcfd811d60000000049454e44ae426082
}
 {\*\bkmkstart link48}State1{\*\bkmkend link48}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link47 \\h}}{\fldrslt{ControlRegion}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ffff00ffffff0000ff0000001b4a64470000000574524e53ffffffff00fbb60e530000007e4944415478da626041030001c4c0c2c28c045858000288818599090930b300041003331a0008200c0180006200ea6066648040101b208020045404c406082090008ccfc008140008200c15000184610640008108b80e06a000400061a80008200c33000208e830645b989901028801e437b80aa0ef000208c3b700010600406b02184d69d9590000000049454e44ae426082
}
 {\*\bkmkstart link49}Region1{\*\bkmkend link49}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link47 \\h}}{\fldrslt{ControlRegion}}}
.{\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link50}CounterGreen{\*\bkmkend link50}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link47 \\h}}{\fldrslt{ControlRegion}}}
.{\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
.{\field{\*\fldinst{REF link49 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link51}{\*\bkmkend link51} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / ^{\field{\*\fldinst{REF link12 \\h}}{\fldrslt{sigGreenOn}}}
;\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link52}CounterYellow{\*\bkmkend link52}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link47 \\h}}{\fldrslt{ControlRegion}}}
.{\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
.{\field{\*\fldinst{REF link49 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link53}{\*\bkmkend link53} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / ^{\field{\*\fldinst{REF link14 \\h}}{\fldrslt{sigYellowBlink}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link54}{\*\bkmkend link54} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445000000ffffff00000073c683710000000374524e53ffff00d7ca0d41000000644944415478da626042030001c4802e0010401802000184210010405001062080b000028801c265040288104000810830172c04e4000410860040003120f1c1220001842100104018020001842100104018860204108600400061380c2080309c0e106000d7b001711889bdcb0000000049454e44ae426082
}
 initial1 -> / -> {\field{\*\fldinst{REF link50 \\h}}{\fldrslt{CounterGreen}}}
;\par}
{\pard\s16\sb240\sa160\keepn\outlinelevel4\f1\fs20\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c54450000ffffffff000000e1f0c9410000000374524e53ffff00d7ca0d41000000604944415478da626042030001c4802e0010401802000184210010401802000184210010401802000104146040024c4c0001c4c0c4c08804189800028801850f140108200c018000c2100008200c018000c2100008200c5b000208c31d00010600de43015799dff2870000000049454e44ae426082
}
 {\*\bkmkstart link55}CounterRed{\*\bkmkend link55}\par}
{\pard\s1\sb80\sa80\f0\fs20 Path: {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
.{\field{\*\fldinst{REF link30 \\h}}{\fldrslt{Region1}}}
.{\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
.{\field{\*\fldinst{REF link47 \\h}}{\fldrslt{ControlRegion}}}
.{\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
.{\field{\*\fldinst{REF link49 \\h}}{\fldrslt{Region1}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 Reactions and default transitions\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link56}{\*\bkmkend link56} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445c0c0c0ff0000ffffff0000ff0000000171f7ed0000000574524e53ffffffff00fbb60e53000000704944415478da626041030001c400a51919a12c8000c2100008200c018000c21000082006080f02401c80006260418880d90001c4c002178130010208c30c80000252cc4880850520801850f8cccc0c00010412608203a00040006108000410860040006108000410030b032a00083000ac1a02c3aaae3f9c0000000049454e44ae426082
}
 Entry / ^{\field{\*\fldinst{REF link13 \\h}}{\fldrslt{sigRedOn}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link57}{\*\bkmkend link57} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445000000ffffff00000073c683710000000374524e53ffff00d7ca0d41000000644944415478da626042030001c4802e0010401802000184210010405001062080b000028801c265040288104000810830172c04e4000410860040003120f1c1220001842100104018020001842100104018860204108600400061380c2080309c0e106000d7b001711889bdcb0000000049454e44ae426082
}
 initial2 -> / -> {\field{\*\fldinst{REF link48 \\h}}{\fldrslt{State1}}}
;\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab {\*\bkmkstart link58}{\*\bkmkend link58} {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445000000ffffff00000073c683710000000374524e53ffff00d7ca0d41000000644944415478da626042030001c4802e0010401802000184210010405001062080b000028801c265040288104000810830172c04e4000410860040003120f1c1220001842100104018020001842100104018860204108600400061380c2080309c0e106000d7b001711889bdcb0000000049454e44ae426082
}
 initial1 -> / -> {\field{\*\fldinst{REF link31 \\h}}{\fldrslt{WaterLight}}}
;\par}
{\pard\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Model test\par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b Verificator result files\par}
{\pard\s14\sb240\sa160\keepn\outlinelevel2\f1\fs26\b E:\\Language_Learn\\Visual State\\My_Project\\WaterLight\\vsProjest\\verificator_report.vre (wrong signature)\par}
{\pard\s2\sb80\sa80\f2\fs18 /*****************************************************************************\line 
* IAR Visual State Verificator Report\line 
* Generated by IAR Visual State Verificator 8, 2, 1, 3643\line 
* Time: 2018-11-03 22:25:21\line 
* IAR Visual State Project File: <WaterLight.vsp>\line 
* IAR Visual State Signature Generator: "81"\line 
* Project Signature: "9b67bac852cf4df199ccf0e8aec10a27"\line 
*****************************************************************************/\line 
\line 
PROJECT INFORMATION\line 
\line 
  Project Name: WaterLight\line 
\line 
  Explanation:\line 
    ""\line 
\line 
******************************************************************************\line 
\line 
SYSTEM INFORMATION\line 
\line 
  System Name: SystemLight\line 
\line 
  Explanation:\line 
    ""\line 
--\line 
\line 
ASSUMPTIONS\line 
\line 
Verification is performed in full forward mode.\line 
Verification is performed using an explicitly specified signal queue of length 100.\line 
Signal queue size specified in the design has length 1.\line 
\line 
--\line 
\line 
USE OF ALL ELEMENTS\line 
\line 
Constants that are never used:\line 
iTimeYellowOnOff\line 
\line 
--\line 
\line 
ACTIVATION OF ALL ELEMENTS\line 
\line 
Constants that are never activated:\line 
iTimeYellowOnOff\line 
\line 
--\line 
\line 
CONFLICTS\line 
\line 
None.\line 
\line 
--\line 
\line 
STATE DEAD ENDS\line 
\line 
None.\line 
\line 
--\line 
\line 
LOCAL DEAD ENDS\line 
\line 
None.\line 
\line 
--\line 
\line 
SYSTEM DEAD ENDS\line 
\line 
None.\line 
\line 
--\line 
\line 
DOMAIN ERRORS\line 
\line 
None.\line 
\line 
--\line 
\line 
AMBIGUOUS ASSIGNMENTS (static check)\line 
\line 
None.\line 
\line 
--\line 
\line 
AMBIGUOUS ASSIGNMENTS (dynamic check)\line 
\line 
None.\line 
\line 
--\line 
\line 
SIGNAL QUEUE\line 
\line 
The signal queue is too large. Only 1 element is needed.\line 
\line 
--\line 
\line 
Verificator terminated - 0 errors, 3 warnings.\line 
\par}
{\pard\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Model interface\par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445c0c0c00000ff000000531a34c50000000374524e53ffff00d7ca0d410000006e4944415478da626042030001c4802e0010401802000184210010401802000184210010407001461000d200018450011200f20002084300208050b500790001c480e03330800400028801c1676262006280006240e28301400031a0f199000288018dcf041040100124f702041800fbea01c3217b84120000000049454e44ae426082
}
 Events\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Event\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 evOneSecond () [p{\field{\*\fldinst{PAGEREF link4 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445800000c0c0c00000ffff0000000000fec90c0b0000000574524e53ffffffff00fbb60e53000000844944415478da626041030001c4802e00104018020001842100104048024c60122080900418c122000184ac022c0210400c2019466606200f0c59000288012cc3c00ce3b3000410440b3333231080f82c0001041700a904310102084900cc6701082006100f0220020001c4c0021381f05900028881052a02e5b300041092191000106000e343036f62592c2c0000000049454e44ae426082
}
 Action functions\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Action function\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_green_off () [p{\field{\*\fldinst{PAGEREF link5 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_green_on () [p{\field{\*\fldinst{PAGEREF link6 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_red_off () [p{\field{\*\fldinst{PAGEREF link7 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_red_on () [p{\field{\*\fldinst{PAGEREF link8 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_yellow_off () [p{\field{\*\fldinst{PAGEREF link9 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_yellow_on () [p{\field{\*\fldinst{PAGEREF link10 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0ffff00000000000000d35fc7fa0000000474524e53ffffff00402aa9f40000007c4944415478da626046030001c4802e00104018020001842100104018020001842100104018020001842100104048024c4c4c4012208010024c0c600c10400c40828901aa8009c8020820880090c5c408024c0c00010455071407f24002000184ac022c0010401001069042b00e668000022a6766805b0b6401041800796b0272df8bc1110000000049454e44ae426082
}
 Constants\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Constant\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeGreenOn = 15 [p{\field{\*\fldinst{PAGEREF link15 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeRedOn = 30 [p{\field{\*\fldinst{PAGEREF link16 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeYellowBlinkTime = 5 [p{\field{\*\fldinst{PAGEREF link17 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeYellowOnOff = 1 [p{\field{\*\fldinst{PAGEREF link18 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Pseudo code\par}
{\pard\s2\sb80\sa80\f2\fs18 Project WaterLight\line 
\{\line 
  SignalQueueOverflowBehavior: errorIfFull;\line 
  Elements \line 
  \{\line 
  \}\line 
  System SystemLight\line 
  \{\line 
    Instances: 1;\line 
    SignalQueueLength: 2;\line 
    TopState TopLevel;\line 
  \}\line 
\}\line 
\line 
\line 
TopState SystemLight:TopLevel\line 
\{\line 
  Elements \line 
  \{\line 
    Events \line 
    \{\line 
      evOneSecond ();\line 
    \}\line 
    ActionFunctions \line 
    \{\line 
      extern VS_VOID led_green_off ();\line 
      extern VS_VOID led_green_on ();\line 
      extern VS_VOID led_red_off ();\line 
      extern VS_VOID led_red_on ();\line 
      extern VS_VOID led_yellow_off ();\line 
      extern VS_VOID led_yellow_on ();\line 
    \}\line 
    InternalVariables \line 
    \{\line 
      VS_INT g_iOneSecondCounter = 0;\line 
    \}\line 
    Signals \line 
    \{\line 
      sigGreenOn;\line 
      sigRedOn;\line 
      sigYellowBlink;\line 
    \}\line 
    Constants \line 
    \{\line 
      VS_INT iTimeGreenOn = 15;\line 
      VS_INT iTimeRedOn = 30;\line 
      VS_INT iTimeYellowBlinkTime = 5;\line 
      VS_INT iTimeYellowOnOff = 1;\line 
    \}\line 
  \}\line 
  Transitions \line 
  \{\line 
    TopLevel.Region1.WaterLight.LedRegion.red_on -> sigGreenOn / -> TopLevel.Region1.WaterLight.LedRegion.green_on;\line 
    TopLevel.Region1.WaterLight.LedRegion.yellow_blink -> sigRedOn / -> TopLevel.Region1.WaterLight.LedRegion.red_on;\line 
    TopLevel.Region1.WaterLight.LedRegion.green_on -> sigYellowBlink / -> TopLevel.Region1.WaterLight.LedRegion.yellow_blink;\line 
    TopLevel.Region1.WaterLight.LedRegion.yellow_blink.Region1.yellow_on -> evOneSecond() / -> TopLevel.Region1.WaterLight.LedRegion.yellow_blink.Region1.yellow_off;\line 
    TopLevel.Region1.WaterLight.LedRegion.yellow_blink.Region1.yellow_off -> evOneSecond() / -> TopLevel.Region1.WaterLight.LedRegion.yellow_blink.Region1.yellow_on;\line 
    TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterGreen -> evOneSecond() [g_iOneSecondCounter == iTimeGreenOn] / [g_iOneSecondCounter = 0] -> TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterYellow;\line 
    TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterGreen -> evOneSecond() [g_iOneSecondCounter < iTimeGreenOn] / [g_iOneSecondCounter = g_iOneSecondCounter + 1] -> TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterGreen;\line 
    TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterYellow -> evOneSecond() [g_iOneSecondCounter == iTimeYellowBlinkTime] / [g_iOneSecondCounter = 0] -> TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterRed;\line 
    TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterYellow -> evOneSecond() [g_iOneSecondCounter < iTimeYellowBlinkTime] / [g_iOneSecondCounter = g_iOneSecondCounter + 1] -> TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterYellow;\line 
    TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterRed -> evOneSecond() [g_iOneSecondCounter == iTimeRedOn] / [g_iOneSecondCounter = 0] -> TopLevel.Region1.WaterLight.ControlRegion.State1;\line 
    TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterRed -> evOneSecond() [g_iOneSecondCounter < iTimeRedOn] / [g_iOneSecondCounter = g_iOneSecondCounter + 1] -> TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterRed;\line 
  \}\line 
  Region Region1\line 
  \{\line 
    CompositeState WaterLight\line 
    \{\line 
      Region LedRegion\line 
      \{\line 
        SimpleState red_on\line 
        \{\line 
          Entry / [led_red_on()];\line 
          Exit / [led_red_off()];\line 
        \}\line 
\line 
        CompositeState yellow_blink\line 
        \{\line 
          Region Region1\line 
          \{\line 
            SimpleState yellow_on\line 
            \{\line 
              Entry / [led_yellow_on()];\line 
            \}\line 
\line 
            SimpleState yellow_off\line 
            \{\line 
              Entry / [led_yellow_off()];\line 
            \}\line 
            TopLevel.Region1.WaterLight.LedRegion.yellow_blink.Region1.initial1 -> / -> TopLevel.Region1.WaterLight.LedRegion.yellow_blink.Region1.yellow_on;\line 
          \}\line 
        \}\line 
\line 
        SimpleState green_on\line 
        \{\line 
          Entry / [led_green_on()];\line 
          Exit / [led_green_off()];\line 
        \}\line 
        TopLevel.Region1.WaterLight.LedRegion.initial1 -> / -> TopLevel.Region1.WaterLight.LedRegion.green_on;\line 
      \}\line 
\line 
      Region ControlRegion\line 
      \{\line 
        CompositeState State1\line 
        \{\line 
          Region Region1\line 
          \{\line 
            SimpleState CounterGreen\line 
            \{\line 
              Entry / ^sigGreenOn;\line 
            \}\line 
\line 
            SimpleState CounterYellow\line 
            \{\line 
              Entry / ^sigYellowBlink;\line 
            \}\line 
            TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.initial1 -> / -> TopLevel.Region1.WaterLight.ControlRegion.State1.Region1.CounterGreen;\line 
\line 
            SimpleState CounterRed\line 
            \{\line 
              Entry / ^sigRedOn;\line 
            \}\line 
          \}\line 
        \}\line 
        TopLevel.Region1.WaterLight.ControlRegion.initial2 -> / -> TopLevel.Region1.WaterLight.ControlRegion.State1;\line 
      \}\line 
    \}\line 
    TopLevel.Region1.initial1 -> / -> TopLevel.Region1.WaterLight;\line 
  \}\line 
\}\line 
\line 
\par}
{\pard\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Element lists\par}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c00000009504c5445c0c0c00000ff000000531a34c50000000374524e53ffff00d7ca0d410000006e4944415478da626042030001c4802e0010401802000184210010401802000184210010407001461000d200018450011200f20002084300208050b500790001c480e03330800400028801c1676262006280006240e28301400031a0f199000288018dcf041040100124f702041800fbea01c3217b84120000000049454e44ae426082
}
 Events\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Event\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 evOneSecond () [p{\field{\*\fldinst{PAGEREF link4 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000f504c5445800000c0c0c00000ffff0000000000fec90c0b0000000574524e53ffffffff00fbb60e53000000844944415478da626041030001c4802e00104018020001842100104048024c60122080900418c122000184ac022c0210400c2019466606200f0c59000288012cc3c00ce3b3000410440b3333231080f82c0001041700a904310102084900cc6701082006100f0220020001c4c0021381f05900028881052a02e5b300041092191000106000e343036f62592c2c0000000049454e44ae426082
}
 Action functions\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Action function\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_green_off () [p{\field{\*\fldinst{PAGEREF link5 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_green_on () [p{\field{\*\fldinst{PAGEREF link6 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_red_off () [p{\field{\*\fldinst{PAGEREF link7 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_red_on () [p{\field{\*\fldinst{PAGEREF link8 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_yellow_off () [p{\field{\*\fldinst{PAGEREF link9 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 extern VS_VOID led_yellow_on () [p{\field{\*\fldinst{PAGEREF link10 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0000000ffffff0000004cfea7e60000000474524e53ffffff00402aa9f4000000764944415478da626046030001c4802e00104040014618004b0204104880090220220001842cc00412010820b00023840bd6051040101510312690128000420800e5410200010435036a0e500020803004000208430b400061180a104048d64204000208c96110018000c21000082064cf815d0a1060001cde01ef3d07c41b0000000049454e44ae426082
}
 Internal variables\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Internal variable\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT g_iOneSecondCounter = 0 [p{\field{\*\fldinst{PAGEREF link11 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0ff00000000ff0000002b11c7ed0000000474524e53ffffff00402aa9f40000007a4944415478da626046030001c4802e0010401802000184210010401802000184210010401802000184210010406001263093114c02041044002cc20816010820a800135800240210400c602e1030820103334000610800041050808101c867606000f3990102086a0603d80c1009104010013009e633030418008116029586cff4aa0000000049454e44ae426082
}
 Signals\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Signal\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 {\field{\*\fldinst{REF link12 \\h}}{\fldrslt{sigGreenOn}}}
\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 {\field{\*\fldinst{REF link13 \\h}}{\fldrslt{sigRedOn}}}
\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 {\field{\*\fldinst{REF link14 \\h}}{\fldrslt{sigYellowBlink}}}
\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s13\sb240\sa160\keepn\outlinelevel1\f1\fs30\b {\pict\pngblip\picw16\pich16\picscalex100\picscaley100
89504e470d0a1a0a0000000d4948445200000010000000100803000000282d0f530000000467414d410000afc837058ae90000001974455874536f6674776172650041646f626520496d616765526561647971c9653c0000000c504c5445c0c0c0ffff00000000000000d35fc7fa0000000474524e53ffffff00402aa9f40000007c4944415478da626046030001c4802e00104018020001842100104018020001842100104018020001842100104048024c4c4c4012208010024c0c600c10400c40828901aa8009c8020820880090c5c408024c0c00010455071407f24002000184ac022c0010401001069042b00e668000022a6766805b0b6401041800796b0272df8bc1110000000049454e44ae426082
}
 Constants\par}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 Constant\cell Path\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeGreenOn = 15 [p{\field{\*\fldinst{PAGEREF link15 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeRedOn = 30 [p{\field{\*\fldinst{PAGEREF link16 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeYellowBlinkTime = 5 [p{\field{\*\fldinst{PAGEREF link17 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\trowd\intbl\trgaph80\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx4535\clbrdrt\brdrhair\clbrdrb\brdrhair\clbrdrl\brdrhair\clbrdrr\brdrhair\cellx9070\s1\sb80\sa80\f0\fs20 VS_INT iTimeYellowOnOff = 1 [p{\field{\*\fldinst{PAGEREF link18 \\h}}{\fldrslt{}}}
]\cell {\field{\*\fldinst{REF link1 \\h}}{\fldrslt{SystemLight}}}
:{\field{\*\fldinst{REF link2 \\h}}{\fldrslt{TopLevel}}}
\cell \row}
{\pard\s12\sb240\sa160\pagebb\keepn\outlinelevel0\f1\fs36\b Index\par}
{\pard\s1\sb80\sa80\f0\fs20 Index entries: {\field{\*\fldinst{REF link59 \\h}}{\fldrslt{C}}}
{\field{\*\fldinst{REF link60 \\h}}{\fldrslt{E}}}
{\field{\*\fldinst{REF link61 \\h}}{\fldrslt{G}}}
{\field{\*\fldinst{REF link62 \\h}}{\fldrslt{I}}}
{\field{\*\fldinst{REF link63 \\h}}{\fldrslt{L}}}
{\field{\*\fldinst{REF link64 \\h}}{\fldrslt{R}}}
{\field{\*\fldinst{REF link65 \\h}}{\fldrslt{S}}}
{\field{\*\fldinst{REF link66 \\h}}{\fldrslt{T}}}
{\field{\*\fldinst{REF link67 \\h}}{\fldrslt{W}}}
{\field{\*\fldinst{REF link68 \\h}}{\fldrslt{Y}}}
\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link59}C{\*\bkmkend link59}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab CounterGreen [p{\field{\*\fldinst{PAGEREF link50 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link24 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link54 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab CounterRed [p{\field{\*\fldinst{PAGEREF link55 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link26 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link28 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab CounterYellow [p{\field{\*\fldinst{PAGEREF link52 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link24 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link26 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link60}E{\*\bkmkend link60}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab evOneSecond [p{\field{\*\fldinst{PAGEREF link4 \\h}}{\fldrslt{}}}
] (Event)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link22 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link23 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link24 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link26 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link28 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link61}G{\*\bkmkend link61}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab green_on [p{\field{\*\fldinst{PAGEREF link43 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link19 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link21 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link46 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab g_iOneSecondCounter [p{\field{\*\fldinst{PAGEREF link11 \\h}}{\fldrslt{}}}
] (Internal variable)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link24 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link24 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link26 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link26 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link28 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link28 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link62}I{\*\bkmkend link62}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab iTimeGreenOn [p{\field{\*\fldinst{PAGEREF link15 \\h}}{\fldrslt{}}}
] (Constant)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link24 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link25 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab iTimeRedOn [p{\field{\*\fldinst{PAGEREF link16 \\h}}{\fldrslt{}}}
] (Constant)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link28 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link29 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab iTimeYellowBlinkTime [p{\field{\*\fldinst{PAGEREF link17 \\h}}{\fldrslt{}}}
] (Constant)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link26 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Guard expression [p{\field{\*\fldinst{PAGEREF link27 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab iTimeYellowOnOff [p{\field{\*\fldinst{PAGEREF link18 \\h}}{\fldrslt{}}}
] (Constant) (unreferenced)\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link63}L{\*\bkmkend link63}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab led_green_off [p{\field{\*\fldinst{PAGEREF link5 \\h}}{\fldrslt{}}}
] (Action function declaration)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link45 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab led_green_on [p{\field{\*\fldinst{PAGEREF link6 \\h}}{\fldrslt{}}}
] (Action function declaration)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link44 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab led_red_off [p{\field{\*\fldinst{PAGEREF link7 \\h}}{\fldrslt{}}}
] (Action function declaration)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link35 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab led_red_on [p{\field{\*\fldinst{PAGEREF link8 \\h}}{\fldrslt{}}}
] (Action function declaration)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link34 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab led_yellow_off [p{\field{\*\fldinst{PAGEREF link9 \\h}}{\fldrslt{}}}
] (Action function declaration)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link41 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab led_yellow_on [p{\field{\*\fldinst{PAGEREF link10 \\h}}{\fldrslt{}}}
] (Action function declaration)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Action expression [p{\field{\*\fldinst{PAGEREF link39 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link64}R{\*\bkmkend link64}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab red_on [p{\field{\*\fldinst{PAGEREF link33 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link19 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link20 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link65}S{\*\bkmkend link65}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab sigGreenOn [p{\field{\*\fldinst{PAGEREF link12 \\h}}{\fldrslt{}}}
] (Signal)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link19 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Sent signal [p{\field{\*\fldinst{PAGEREF link51 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab sigRedOn [p{\field{\*\fldinst{PAGEREF link13 \\h}}{\fldrslt{}}}
] (Signal)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link20 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Sent signal [p{\field{\*\fldinst{PAGEREF link56 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab sigYellowBlink [p{\field{\*\fldinst{PAGEREF link14 \\h}}{\fldrslt{}}}
] (Signal)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Trigger [p{\field{\*\fldinst{PAGEREF link21 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Sent signal [p{\field{\*\fldinst{PAGEREF link53 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab State1 [p{\field{\*\fldinst{PAGEREF link48 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link28 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link57 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link66}T{\*\bkmkend link66}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab TopLevel [p{\field{\*\fldinst{PAGEREF link2 \\h}}{\fldrslt{}}}
] (State) (unreferenced)\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link67}W{\*\bkmkend link67}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab WaterLight [p{\field{\*\fldinst{PAGEREF link31 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link58 \\h}}{\fldrslt{}}}
]\par}
{\pard\s1\sb80\sa80\f0\fs20 {\*\bkmkstart link68}Y{\*\bkmkend link68}\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab yellow_blink [p{\field{\*\fldinst{PAGEREF link36 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link20 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link21 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab yellow_off [p{\field{\*\fldinst{PAGEREF link40 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link22 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link23 \\h}}{\fldrslt{}}}
]\par}
{\pard\s3\li396\fi-396\sa40\f0\fs20 \bullet \tab yellow_on [p{\field{\*\fldinst{PAGEREF link38 \\h}}{\fldrslt{}}}
] (State)\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Source state [p{\field{\*\fldinst{PAGEREF link22 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link23 \\h}}{\fldrslt{}}}
]\par}
{\pard\s4\li793\fi-396\sa40\f0\fs20 \bullet \tab Destination state [p{\field{\*\fldinst{PAGEREF link42 \\h}}{\fldrslt{}}}
]\par}
\sect}
}